((v1 v2 8) (v1 v3 4) (v2 v3 0) (v1 v4 1) (v2 v4 7) (v3 v4 6) (v1 v5 0) (v2 v5 3) (v3 v5 8) (v4 v5 0) (v1 v6 1) (v2 v6 4) (v3 v6 3) (v4 v6 2) (v5 v6 5) (v1 v7 8) (v2 v7 6) (v3 v7 3) (v4 v7 5) (v5 v7 6) (v6 v7 5))
77
()